#include "stdio.h"
#include "string.h"

void main()
{
	char s1[900],s2[900],s[2000],cat[2000],outs1[900];
	int i,k,len,len1,len2,fenmu;
	int m,n,count,max;
	
	scanf("%s",s1);
	while ( (s1[0]!='-')&&(s1[1]!='1') )
	{
		
		strcpy(s,"");
		strcpy(cat,"");
		strcpy(outs1,s1);
		count=0;
		max=0;
		scanf("%s",s2);
		len=strlen(s2);
		len1=strlen(s1);
		len2=strlen(s2);
		fenmu=len1+len2;

		for (i=1;i<len;i++) strcat(cat,"*"); 
		strcpy(s,cat);
		strcat(s1,cat);
		strcat(s,s1);

		
		
		k=len1+len2-2;
		for (i=0;i<=k;i++)
		{
			count=0;
			for (m=i;m<=i+len2-1;m++)
				{
					if (s[m]==s2[m-i]) 
					{
						count++;
					}
				}
			if (max<count) max=count;
		}
		max*=2;
		if (max==0)
			printf("appx(%s,%s) = 0\n",outs1,s2);
		else if (max==fenmu)
		{
			printf("appx(%s,%s) = 1\n",outs1,s2);
		}
		else
		{
			m=fenmu;
			while (m%max!=0) m+=fenmu;
			n=max*fenmu/m;
			max/=n;
			fenmu/=n;
			printf("appx(%s,%s) = %d/%d\n",outs1,s2,max,fenmu);
		} 
		scanf("%s",s1);
	
	}


}

/*	问题描述:
		字符串匹配问题,看两个字符串最多有多少个字符可以合上.
		可能是问题本身过于简单,问题在输出上又加上了分数的约分问题.
  	完成时间:
		2004/7/22
	用时:
		约40分钟.
		  
	调式当中出现的问题:
	1.字符串定义太小,
	2.最后一个printf忘加了\n
	3.变量名取得不清楚,后来把变量混用了一次.count 和 fenmu.
*/
